- cálculo predicado
- m.predicate calculus, predicate logic, first-order logic.
Spanish-English dictionary. 2013.
cálculo predicado
Look at other dictionaries:
Cálculo lógico — Saltar a navegación, búsqueda El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o… … Wikipedia Español
Cálculo — Saltar a navegación, búsqueda Para otros usos de este término, véase Cálculo (desambiguación). Para cálculo infinitesimal (diferencial o integral) véase Cálculo infinitesimal Para el estudio de los números reales, los complejos, los vectores y… … Wikipedia Español
Cálculo lambda — Artículo parcialmente traducido: Contiene texto en inglés. Ayuda a terminarlo. El cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Fue introducido por… … Wikipedia Español
cálculo proposicional — Sistema formal de proposiciones y sus relaciones lógicas. En tanto opuesto al cálculo de predicado, las unidades atómicas del cálculo proposicional son proposiciones simples, inanalizadas en vez de predicados. Las proposiciones simples (atómicas) … Enciclopedia Universal
cálculo de predicado — Parte de la lógica simbólica moderna que expone de modo sistemático las relaciones lógicas existentes entre las proposiciones que incluyen cuantificadores como todos y algunos. El cálculo de predicados, que suele basarse en alguna forma del… … Enciclopedia Universal
Cálculo — (Del lat. calculus, guijarro, piedras usadas para enseñar a contar.) ► sustantivo masculino 1 MATEMÁTICAS Cómputo, cuenta que se hace por medio de operaciones matemáticas: ■ cálculo aritmético. 2 Acción de pensar por anticipado los resultados… … Enciclopedia Universal
Gráficos existenciales — Se denomina Gráficos existenciales (en inglés: existential graphs) al sistema lógico y de notación creado por el lógico y filósofo norteamericano Charles Sanders Peirce. El sistema comprende tanto una notación gráfica original de proposiciones… … Wikipedia Español
Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… … Wikipedia Español
Silogismo — El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, en … Wikipedia Español
Proposición (lógica) — Saltar a navegación, búsqueda En lógica y filosofía, el término proposición se usa para referir a:[1] Las entidades portadoras de los valores de verdad.[1] Los objetos de las creencias y de otras actitudes proposicionales.[ … Wikipedia Español
Verdad — Artículo principal: Conocimiento El significado de la palabra verdad abarca desde la honestidad, la buena fe y la sinceridad humana en general, hasta el acuerdo de los conocimientos con las cosas que se afirman como realidades: los hechos o la… … Wikipedia Español
